Talk:World 2/@comment-3249690-20150814051416

I got I->H with CLT/CVL/4xCA. Shouldn't be possible...