forall‘s Following are private.