Cao, W., & Parker, J. R. (2011). Jørgensen's inequality and collars in n-dimensional quaternionic hyperbolic space. The Quarterly Journal of Mathematics, 62(3), 523-543. https://doi.org/10.1093/qmath/haq003