Conjecture: Finite Solvable Groups can be Characterized by 2 Variable Identities.
Minimal Non-Solvable Groups and the Theorem.
Proof with Computer and Algebraic Geometry.