New: abstract-algebra