The property 'actually being on David's right' is a necessary property of Paul, not a contingent one...