Charlie Steiner comments on Elements of Computational Philosophy, Vol. I: Truth