2 éléments à classer, 2 runs for 1 chemins
(classement du plus précis au plus général)

Axiome → proposition non démontrée → proposition

RULES
proposition non démontrée;6;proposition;6