Text this: Jørgensen’s Inequality and Algebraic Convergence Theorem in Quaternionic Hyperbolic Isometry Groups