P

Initializing...

The L-rule from the S-rule · Prove2Me