๐ Fundamental inference rule ยง = an ๐ Inference rule, which lays at the start of an โฌ๏ธ Inductive proof