G9 Irreducible Complexity