Talk:Arnmod theories