Loading paper
SL(n,Z[t]) is not FP_{n-1} | Tomesphere