Tag : x x is a natural number