- less-than-or-equal zero zero ~~> true
- less-than-or-equal zero one ~~> true
- less-than-or-equal zero two ~~> true
- less-than-or-equal one zero ~~> false
- less-than-or-equal one one ~~> true
- less-than-or-equal one two ~~> true
- less-than-or-equal two zero ~~> false
- less-than-or-equal two one ~~> false
- less-than-or-equal two two ~~> true
-
- You'll need to make use of the predecessor function, but it's not important to understand how the implementation we gave above works. You can treat it as a black box.