Desiderata for an Adversarial Prior — LessWrong