(0 : Natural) : Bool