Uses Markov.defrost