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).
?Rate how convincing each reason is below to see the overall strength.