green_leaf comments on A computational complexity argument for many worlds