I didn't know it's legitimate to define \(1-2\) as |-1| on the naturals.