Tie-probability formula