"Conjugate-comparable not implies normal"
"Left-transitively WNSCDIN not implies normal"
"Normal not implies amalgam-characteristic"
"Normal not implies central factor"
"Normal not implies direct factor"
"Normal not implies finite-pi-potentially characteristic in finite"
"Normal not implies image-potentially fully invariant"
"Normal not implies left-transitively fixed-depth subnormal"
"Normal not implies normal-extensible automorphism-invariant in finite"
"Normal not implies normal-potentially characteristic"
"Normal not implies normal-potentially relatively characteristic"
"Normal not implies potentially fully invariant"
"Normal not implies potentially verbal"
"Normal not implies right-transitively fixed-depth subnormal"
"Normal not implies strongly potentially characteristic"
"Normal-extensible not implies normal"
"Permutable not implies normal"
"Quotient group need not be isomorphic to any subgroup"
"Subnormal not implies normal"