Varadhan's_lemma loading ...