Agreed, so why frame it as avoiding unpleasant people? My experience with Anthropic's latest models is that no amount of instruction can overcome their latent verbosity (nor can AGENTS.md overcome OpenAI models' reticence). I tried A/B testing several models and Opus was the clear winner, so I'm not likely to retire it just because it generates unpleasant prose. I do curate model-specific notes to mitigate some of the worst offenses.

I realized that all clues could be represented by Boolean formulas, allowing a solver to check whether my deductions and hypothetical scenarios were consistent without revealing the solution.

Of course the same solver can solve for individual variables, but that takes too much of the fun out of the game, so I left that feature out.

One could argue the opposite conclusion, that technology helps break monopolies, but either view depends on reductionist historical readings. The truth is somewhere in between.