5.4.5 Irreducible Complexity