adequacy.v 1018 Bytes