algebraic: a fair first whack at implementation