P
Initializing...
Unnumbered result (23), (E1): Snl equals Sc · Prove2Me