Strong_Markov_property loading ...