Social choice theory contains a number of deductive theorems on voting Methods' properties, in particular "non-existence" theorems, stating that there is no voting method complying particular rationality condition (as insusceptibility to strategic voting). These theorems, though theoretically important, have limited practical implications. When no voting method guarantees rational choice, the question of risk level connected with particular methods is raised. Such a question can be partly answered by means of computer simulations. Although simulations' results have no deductive quality, often they could be treated as statistical hypotheses. Even if statistical interpretation is impossible, simulations' results could be helpful in resolving practical problems.
