P
Initializing...
Lemma 6: LOSR monotones are WPICC monotones · Prove2Me