Hall subgroups need not exist, IA not implies class-preserving, Order-conjugate and Hall not implies order-dominating, Order-conjugate not implies order-dominated, Order-conjugate not implies order-dominating, P-normal not implies p-solvable, Sylow not implies NE