It is not the case that If 'actually being on David's right' were a necessary property of Paul, counterpart theory would be unable to evaluate Paul's modal properties without trivializing all actual relational facts as necessary, an unacceptable result (Lewis, 'On the Plurality of Worlds', 1986).
?Set your confidence on the premises below to see your aggregate.