More precise specification for 'Forall'.