Text this: Finite presentability of S-arithmetic groups compact presentability of solvable groups /