$\pi(S_t)$ is a martingale