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