forall(x :T) -> x