equational division