¯\_(ツ)_/¯

There aren't any definitions for incr n -1 yet.

Can you define it?