Taxation with representation