change to `forall`, inverse `if`