The horror of what must, yet cannot, be true — LessWrong