Talk:Finitely presented