Def/Natural Number 1