This post has now accumulated some substantial updates, which should not change the conclusion but fix possible misreadings and inaccuracies. Please refer to th

This post has now accumulated some substantial updates, which should not change the conclusion but fix possible misreadings and inaccuracies. Please refer to the HackMD post for the latest version.