Supervisions and Inductions