P
Initializing...
Degree-zero extraction is a bijection · Prove2Me