P
Initializing...
II: effective state and conditional measurement distribution, (1)–(2) · Prove2Me