rm outer loop in andNot test