Talk:XDH assumption