No need for the definition of 0