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