No established correspondence rules successfully map idealized properties like topological transitiv...