This paper explores aspects of the optimal design of tax/transfer schemes that involve elements of both ‘tagging’ (the use of categorical benefits) and ‘means‐testing’ (income‐relation of benefits). Simulations suggest a striking qualitative dissimilarity between the group‐specific schedules optimally imposed on poorer and richer groups: broadly speaking, the optimal marginal tax rate is decreasing in income among the latter but increasing among the former. This latter observation, potentially important for policy, runs counter to the conventional wisdom from previous simulations. The reconciliation, we argue, lies in the role played in optimal tax design by the revenue constraint.