They also suggests that life expectancy can be further made conditional on age. i.e. on \(t_{in}\).  In this case a new doubly conditioned probability should be introduced, which results, by Bayes formula: