What's in front of the Supreme Court right now is whether injunctions in general are compulsory or discretionary in patent infringement cases where guilt has been established and litigated.