All the updates have been added. Only the irreducibility for Gamma is
missing.