https://wikimass.com/html/entities/does-not-contain-as-normal-subgroup