← 29. Synthetic Substitution - Hanlon Math