It was regarding your formulation as "only defining one operation" which I found problematic. Coding it would take 2 primitive operations, one of which cannot be coded on the naturals in this example.