slide
:
Interpretations of
Bool
and
Nat