P
Initializing...
A family of effects is complete iff the kernel of its lift is trivial · Prove2Me