P
Initializing...
A complete disjoint family of effects lifts to a unitary · Prove2Me