1.6: Cardinal numbers