 And so what they said is, you can do this. Well, then the question is, what's a public right? And the answer is, it's a dispute between the government and one of its servants with respect to monies which owe it. But somebody else comes along, and this was true in the oil state case, a dreadful opinion by one of my favorite dressers, Clarence Thomas, in which he says a public right is any right that is declared by Congress.