let
and_ a b =
And
(a, b)