P
Initializing...
The checked slice obligations imply the degree-seven path obstruction · Prove2Me