Def/Natural number 1