P
Initializing...
No node-consistent extension of $(0,-1)$ is symmetric about $1/2$ · Prove2Me