A_Most_Powerful_Adversary loading ...