Kant defines marriage transactionally, and otherwise grounds most social and political institutions in terms of contracts.