not to mention that sum() or forall() might mean nothing to people who don't speak English, so for them those would just be another set of things to memorize anyway