Overview for jeu-de-deduction