P
Initializing...
Section e, p.4 — per transcript, some unitary on Alice's side gives $p_\gamma \ge F'(\gamma)$ · Prove2Me