Talk:Quaternionic discrete series representation