equationally

not defined yet