[macintux]

Negative constraints like anti-knight significantly improve my enjoyment of Sudoku. They make it more likely that puzzles don't devolve to straight Sudoku near the end.