There shouldn't be any difference between loading instruments and normal presets except that I think when loading a device the MPs are automatically set to defaults, not sure though. I think it at least was like that at some point, because in many cases people forget to set the MPs to defaults when creating the devices and testing them.
elassi: I'm not sure how to understand that and I don't really remember Riemann's conjecture, but I remember Godel's incompleteness' theorems (freely translated), which basically said that in every theory there's something, that cannot proven nor disproven, not sure if that's helpful though
