P
Initializing...
Every tree-safe word with a fully open pair admits a tree-safe sink step · Prove2Me