not true, forall returns true if empty ;)