Thus the argument establishes only that no *symmetric* procedure suffices, which is precisely what m...