cousin_it comments on Oracle machines instead of topological truth predicates