Unit 7 (Inference Procedures)