It is not the case that If the aggregate just is the one necessary being under another description, then P4's inference from contingent parts to a contingent whole fails by misidentifying the aggregate's modal status.
?Set your confidence on the premises below to see your aggregate.