Transfer-of-necessity principles like P2 fail when the entailment runs from free action to the prior...