{ forall: Text }