ANF a AND (not a)