1: \begin{abstract}

2:   We construct a new version of the dual Gromov--Hausdorff propinquity that is sensitive to the strongly Leibniz property. In particular, this new distance is   complete on the class of strongly Leibniz quantum compact  metric spaces. Then, given an inductive limit of C*-algebras for which each C*-algebra of the inductive limit is equipped with a strongly Leibniz L-seminorm, we provide sufficient conditions for placing a strongly Leibniz L-seminorm on an inductive limit  such that the inductive sequence converges to the inductive limit in this new Gromov--Hausdorff propinquity. As an application, we place new strongly Leibniz L-seminorms on AF-algebras using Frobenius--Rieffel norms, for which we have convergence of the Effros--Shen algebras in the Gromov--Hausdorff propinquity with respect to their irrational parameter.

3: \end{abstract}

4: