Before revision:  This construction has the remarkable property, proved by Rost (1976) , that it minimises the variance of the stopping time among all solutions.
After revision:  This construction has the remarkable property, proved by Rost (1976) , that it minimizes the variance of the stopping time among all solutions.