Rather than here, if Behe comes we will start a thread specifically for him, that will be moderated tightly to ensure he is treated with respect.
I’d start the conversation by asking which definitions of Irreducible Complexity are falsified, and which are still viable. Which Irreducible Complexity?