∀(y : Bool) → Bool