https://123dok.net/document/y9611wwl-ordering-garside-groups.html