Eliminating a redundant explanatory layer (the correspondence relation) can constitute theoretical e...