0	M⁰(M¹(Z²))
0	M⁰(M¹(P²(1)))
0	M⁰(M¹(P²(2)))
0	M⁰(C¹(Z⁰))
0	C⁰(M⁰(Z¹))
M(S)	C⁰(M⁰(S¹))
0	C⁰(M⁰(P¹(1)))
0	C⁰(C⁰(Z⁰))
0	C⁰(Z¹, Z⁰)
1	C⁰(S¹, Z⁰)
0	C⁰(P¹(1), Z⁰)