The CSP conjecture for lattices in the simple Lie group $F_{4(-20)}$

Let $F_{4(-20)}$ be the simple real Lie group of the indicated type, and let $\Gamma$ be a lattice in $F_{4(-20)}$. CSP conjecture for $F_{4(-20)}$. Every lattice $\Gamma$ in the simple Lie group $F_{4(-20)}$ has the congruence subgroup property (CSP). This conjecture is used for one of the paper's negative results; the supplied context does not state whether it has been resolved.