equationism
not defined yet