let
(==>) b1 b2 =
if
b1
then
b2
else
true