"Characteristic not implies characteristic-isomorph-free in finite"
"Modular not implies permutable"
"Normal-isomorph-free not implies isomorph-free in finite"
"Order-conjugate and Hall not implies order-dominating"
"Order-conjugate not implies order-dominating"
"Transitively normal not implies conjugacy-closed normal"