Using the MU-playground complete the following.
M1. Derive the theorem MUI.
M2. Derive the theorem MUUII.
M3. Is MIUI a theorem? If so, derive it. If not explain why.
M4. Is MUUIU a theorem? If so, is there a shorter derivation of it than the shortest derivation of MUIIU?
M5. Is MU a theorem? If so, derive it; if not explain why.