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