Bundle_Gerbe comments on The Useful Idea of Truth