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