Effective Programs in Elementary Mathematics (2018)