Justice Anthony Kennedy: But he has no -- he has no doctrinal basis to make that argument other than to say that there is such a doctrine as prosecutorial discretion and, A, that it is enforceable and, B, that it has some substance, and you have indicated that it has neither.