allowing temporal induction as inference rule.