P
Initializing...
The index threshold three is equivalent to winding strictly above one · Prove2Me