The same spirit seems to apply everywhere. The Hoon tutorial shows an incredibly elaborate way to build a decrement function, and it notes:

"As you may remember, to decrement 'a' we need to count up to it."