Extent now a semigroup, begun Algorithms
removed Algorithms