P

Initializing...

The S-rule from the L-rule · Prove2Me