I find proof by induction very intuitive: “If every ‘legal’ step holds, then any way of chaining legal steps also holds”. There can be a lot of information glea

I find proof by induction very intuitive: “If every ‘legal’ step holds, then any way of chaining legal steps also holds”. There can be a lot of information gleaned from the steps (operational semantics for example). Playing around with induction on church encodings and other inductively defined structures certainly helped me to build the intuition though.