Truthmaker theory (Fine, Armstrong) individuates propositions by their ontological grounds, not thei...