Principal #Inductions