@$pb.TagNumber(11) Proof_Not get not => $_getN(10);
@$pb.TagNumber(11) set not(Proof_Not v) { setField(11, v); }