Booleans

Natural numbers


slide: Interpretations of Bool and Nat