Specifying Contractualism: How to Reason About What We Owe to Each Other