P
Initializing...
The S-rule from the L-rule · Prove2Me