Algebra by Design