Start with these premises:
- If unrestricted compositionality (UC) is true, for any two objects A and B, there is an object A+B that is their mereological sum.
- If A and B have no parts in common, and B has positive value, then A+B is at least as valuable as A.
- Nothing other than God is at least as valuable as God.
- God exists.
- There is a creature, B, that has no parts in common with God and that has positive value.
- If UC is true, God+B exists and is at least as valuable as God. (1, 2, 4, 5)
- If God+B exists, then God+B is distinct from God. (By standard mereology, the sum of two non-overlapping objects is distinct from each.)
- UC is false. (3, 6, 7)