P

Initializing...

Reflection-only obstruction: $(0,-2)$ cannot absorb $1$ using only even auxiliaries · Prove2Me