P
Initializing...
Theorem 2.4: transfer confinement to a Nice Devil · Prove2Me