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