Does Not Contain As Normal Subgroup or Equal Symbol ⋭