A proper subset relation requires shared criteria of application, but HP1 invokes agency and causati...