RNS_formalism loading ...