let
(&&&) a b =
Bool_operator
(a,
`
And
, b)