It really is! Irreducible complexity is something that's supported by a ton of evidence. It also is a fact of biology that it's true due to the evidence for it. Specified complexity is true, too. Both of these complexity are facts of science, and, they also are supported by a ton of evidence from biology.