∀(x : <>) → Bool