RE: [Utah-astronomy] Testing Irreducible Complexity