abramdemski comments on Escaping the Löbian Obstacle