A simple martingale for random walk stopping times · HackerTrans