1. No category

propositions