Which statement correctly limits what the proof establishes?

Proof of Mutual Hindrance: Divine Unity, Conflicting Wills and Eternity of Attributes

• Having two wills is itself a contradiction
• Nonoccurrence alone always proves incapacity
• The possibility of disagreement necessitates actual corruption
• Contradictories cannot jointly obtain; further conclusions may require premises