\dt \e{Difficulty}
\dd Controls the difficulty of the generated puzzle. More difficult
-puzzles require more complex deductions, and the \q{Recursive}
+puzzles require more complex deductions, and the \q{Unreasonable}
difficulty level may require backtracking.