Moved to Algebra.