1. 0-pre/
2. 1-theorem/
3. 2-inference/
4. 3-tech/
5. 4-spec/