fixed truth value, temporal induction should of course use induction as truth..