P
Initializing...
Given the past, the chain from time $k+n$ on is started from $P^n(u_k,\cdot)$ · Prove2Me