 This formulation keeps the types of values distinct while still forging a link between them in the form of (P2). But of course we would need to find a sound sub-argument in favor of (P2) (see Dougherty 2014).