Induction notes: DMC induction 24 Oct 13