On the Löbian obstacle — LessWrong