A counterclaim for patent infringement is compulsory under Fed. R. Civ. P. 13(a) to a declaratory judgment action seeking a declaration of non-infringement. The “further relief” provision of 28 U.S.C. § 2202 does not provide an exception to the compulsory counterclaim rule.