Temporal Induction. (as standard inference rule) + fixed testcase.