Agenda for progressive taxation