Welcome to the javadoc documentation of the natural deduction Domino game.