1. 0-def/
2. 1-prop/
3. 2-iff_and_calc/
4. 3-mat_rank/