P
Initializing...
$(0,1,x)$ is tree-safe iff $x$ is odd · Prove2Me