work in progress, algebraic