  Canonical expressions are representative of implicative propositions upto
renaming of variables. In this paper we explore, using a Monte-Carlo approach,
the model of canonical expressions in order to confirm the paradox that says
that asymptotically almost all classical theorems are intuitionistic.
