P
Initializing...
Second backward-closure step is tree-safe at the least sink · Prove2Me