min{a : a ≠ 0 ∧ ∄b(b + 1 = a)}
0 following