temporal induction operator variable introduction (for other side). TODO: general principle.