fix temporal induction with mental operators