{ example0 = λ(x : Bool) → x && True
, example1 = λ(x : Bool) → True && x
, example2 = λ(x : Bool) → x && False
, example3 = λ(x : Bool) → False && x
, example4 = λ(x : Bool) → x && x
}