in . , forall