removed exists and forall, made no test cases match a warning