1. No category

346√ Suppose we define nat by ordinary construction and induction