lukeprog comments on The Useful Idea of Truth