axe_1(fixed_tn) | ← axe_1(fixed_tn)