Valid Inference Rules