Fix semantics of forall. Again.