∀(x : Bool) → < x : Bool >