📙 Inference rule = a rule, which states a valid step of inference Special type 📕 Fundamental inference rule