danieldewey comments on Topological truth predicates: Towards a model of perfect Bayesian agents