[resulting-algebra.png]