Defining Irreducible Complexity