incorrect forall