In practice the notion of irreducible complexity contains two strategies. The first is to argue that a biological entity could not be simpler even in theory, which we’ve proven invalid. So ID proponents fall back to their second strategy, arguing that evolutionists haven’t fleshed out the actual evolutionary history of an apparently irreducibly complex structure or pathway.