Loading: Mayr’s lemma