∀(x : Bool) → Bool