Therefore P4 smuggles in an unwarranted assumption that the chosen property P is the kind that lawfu...