ParentFull threadtempleosenjoyer·Did you cover proof by induction? This technique is one that is most likely to click with CS types.View on HN