junk heap homotopy comments on The Proper Use of Doubt