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