Played with definition of equality for natural numbers a little