[math-fun] Bridge probability puzzle