Has Ken Miller Refuted Irreducible Complexity with a Tie Clip?