IAFF-User-130 comments on Topological truth predicates: Towards a model of perfect Bayesian agents