Ontological Truth and Progress