Definition:Stopping Time