Remove uneeded fns: aug()|defaults()|has_all()