25: Inference rules