Which Whole Number Has No Predecessor