Bertrand's_ballot_theorem loading ...