Artin–Tate_lemma loading ...