And how do you know it's irreducible? In the sense of knowing there's no short program to describe it (Kolmogorov style).