GNS_theory loading ...