The Supreme Court recently “conclude[d] that the Federal Circuit’s formulation, which tolerates some ambiguous claims but not others, does not satisfy the statute’s definiteness requirement.” Nautilus, Inc. v. Biosig Instruments, Inc., No. 13-369 (2014). Instead, the Court concluded that “a patent is invalid for indefiniteness if its claims, read in light of the specification