ett upprepande af axiom erfrån