uncomputable comments on The Art of the Overbet