Doob supermartingale convergence theorem nonnegative supermartingale converges almost surely. First alert smoke detector green light solid. 屯馬綫尾班車. Opening scene of psycho.