What we mean by "tax the rich"