λ(b : Bool)
→ λ(x : Natural)
→ λ(y : Natural)
→ if if True then b else b then if True then x else x else if True then y else y