magma and semiGroup finished (in theory)