Whole Numbers: Supposition/Assumption P4