Scientific_formalism loading ...