Overview for why-red-induction