Algebra Without Rewrite