Det är detta som teorin om optimal beskattning går ut på .