📕 Fundamental inference rule === an 📙 Inference rule, which lays at the start of an ⬆️ Inductive proof==