x
On the Löbian obstacle — LessWrong