equation as constraint · balance beam shows equality · equivalence classes · functional equations · runs locally