[pavlov]

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."

[tel]

That's completely standard for Peano arithmetic though.