Profinite invariants of arithmetic groups. (13th November 2020)