∀(x : T) → U