A martingale for vert-dice.com