A vanishing theorem for the homology of discrete subgroups of Sp(n, 1) and F4-20. - Chris Connell; Benson Farb; D. B. McReynolds (J. Lond. Math. Soc., 2016)