an irreducible theory: