⁴There need not be ≤ n equations in this list and there need not be any equation in just one variable.