Complete proof for Soundness Theorem
Edit and complete the existing draft for the Soundness Theorem. Also fix the pattern interpretation for the μ case.
Edit and complete the existing draft for the Soundness Theorem. Also fix the pattern interpretation for the μ case.