P
Initializing...
Exchanging equal labels preserves an alternating deletion · Prove2Me