[math-fun] Bar bet