natural number 1 plus natural number 1