Benya_Fallenstein comments on Oracle machines instead of topological truth predicates