8. Completeness

8.1. M-Complete problems

8.2. HALT is m-complete

8.3. Using reduction to show completeness