📙 Inference rule §

= a rule, which states a valid step of inference

Special type §

• 📕 Fundamental inference rule