One thing that is striking about this is that from a Thomistic perspective this is exactly how one should argue in order to show that the distinction does not violate divine simplicity. On Thomas's view, simplicity is noncomposition; and all compositio is in some way or another compositio actus et potentiae, a composition of actuality and passive potentiality (cf., e.g., SCG 1.18). If the distinction introduces no potentiality, it introduces no composition, and thus does not violate the doctrine of divine simplicity.
Indeed. I wonder what the Energetic Procession crowd would say about that.
