Text this: Tractable contractarianism