P
Initializing...
Open cycles force closures at their nodes, for every tree witness · Prove2Me