Locke's labor-mixing argument, the paradigm case of grounding property in agency, relies on a prior ...