Markov's_rule loading ...