22ED is known as Does Not Contain As Normal Subgroup Or Equal and can be found in these categories: Sm.