The fiber map and b 1

Status. $\mathsf{A}$: open. The one sentence to locate is XIV-H's input:EC quoting (eq:afrak); if it does, then ${\mathsf{A}}^{\alpha \mu ,(ab)}={\mathfrak{a}}^{\alpha \mu ,ab}$ and Lemma lem:fiber applies; if XIV-H defines $a_1$ otherwise, the candidate is withdrawn.