Notes
Inference Rules