P
Initializing...
Cost of Lemma 16 (30) · Prove2Me