Fixed-node fourth-term cascade: no tree-safe word on $(0,1,-1),2,3,w_0,\dots,w_m$ · Prove2Me

P

Initializing...

Fixed-node fourth-term cascade: no tree-safe word on $(0,1,-1),2,3,w_0,\dots,w_m$ · Prove2Me