Lecture 9, Horizon-T value function notation