> a 0
= a + 1
= a + 1
= a + 1
= a + 1
p a
> b 10
= b - 2
= b - 2
= b - 2
p b