remove forall