So8res comments on Walkthrough of “Definability of Truth in Probabilistic Logic”