Logical Forms

Inference rules