Dagon comments on Is checking that a state of the world is not dystopian easier than constructing a non-dystopian state?