Talk:Haran's diamond theorem