induction-analogy update