Text this: Taxation, incomplete markets, and social security :