Upload induction.hs