It is not the case that Necessary properties must be ones a thing could not fail to have; Paul could have existed without David, so no relational property involving David can be necessary to Paul.
?Set your confidence on the premises below to see your aggregate.