The non-finite presentability of IA ( F 3 ) and GL 2 (Z[ t, t −1 ]) | doi.page