[veraEFF]

Hey there,

Thanks for the comment. While I agree that the negatives and zero would not make sense, the interesting case is "1" in particular.

Although it's not in the post, the patent owner actually originally accused n=1 as being part of the infringing apparatus/method. I don't know when/why that changed, but presumably it was because they realized they wouldn't win if that was true. It is this sort of game playing that is problematic. https://twitter.com/vranieri/status/647179711563431940

"Integer" has a defined meaning. They chose that word, but it seems that they don't like the implications of that word.

[strommen]

There are lots and lots of ridiculous patent and patent claims occurring in the US. I'm glad that the EFF is fighting against them.

But this particular paragraph in this particular claim is by no means an abuse of patent law. The patent is about an "integer multiple" of a time period, which obviously excludes 0 and negatives, and arguably excludes 1.

If there's something else going on here, then please add it to the article. But otherwise, consider that when you stretch the truth to support an honorable cause, you are making that cause less honorable.

[Pyxl101]

I don't think it's obvious that an "integer multiple" of a quantity necessarily excludes 0 or 1. I could accept that it excludes zero if from the context that would make no sense. But to presume that it excludes 1 is a bit too much.

I'm not sure if I agree with the EFF's position completely, but I see where they're coming from.

Let's say that I was implementing linear backoff. I do this by multiplying my base delay time by an iterator i, where i starts at zero and count upwards. Sleep time = delay + delay * i. So after the first failure, we sleep "delay", and after the second failure we sleep "2 * delay", and so on. If I was describing this in words, I might say that I was multiplying the delay constant by the integer multiple i. In this context, it clarifies that the number is a whole number as opposed to a fraction.

[gohrt]

When a patent covers X, Y, and Z, (or, 1,2, and 3) and it turns out that X (=1) is unpatentable, would that make Y and Z unpatentable?

Anyway, EFF does a disservice by through flame on the issue instead of explaining it clearly. I still have no idea who is suing over over what, and why it matters what "integer means".

Suppose the word integer weren't used at all -- what would it mean if the patent had originally stated explicitly "integer greater than 1" vs "integer greater than 0" ?

Please advance the conversation forward, don't muddy it up with grandstanding rhetoric.

[veraEFF]

In a patent, what matters are the claims at the end. These are what defines what the inventor claims to have a right to exclude others from doing.

If a patent claim covers X, Y, or Z and it turns out that yes, X was known in the art, then yes, the patent will be invalid.

In plain English: Suppose someone claims to have invented doing a thing once, twice, or three times. That patent would give them the right to exclude anyone from doing that thing once, twice, or three times. But if people have been doing that thing once for years, the patent owner is attempting to exclude people from doing things that people already do. That's invalid. The court will not rewrite the claim to save it to being only 2 or 3 times--there may be other ways to do it, but the court is not that way.

[thelema314]

It seems clear that they used the word "integer" to clarify that only whole number multiples were allowed, and not 1.5, 2.7, etc. As to whether 1 is allowed, that's not determined one way or the other by the use of the word "integer".

As to the patent owner originally accusing n=1 being part of the infringing apparatus/method, I agree that they shouldn't have done this if n=1 doesn't make sense in the context of their patent. That's more likely the mistake then the current CC.

[veraEFF]

Yes, the problem is for whether 1 is allowed or not -- do you infringe if integer includes 1?

The point of the article is to show how words--even words with very well understood meanings--are often not clear. This is a problem for someone who reads this patent. How can they be sure whether what they do is in or out side of reach of the patent claims?

The patent owner, if they intended to only claim {n>=2 |n e N}, could have easily and precisely done so. It is problematic that it is not until expensive litigation and thousands of lawyer hours will we know whether n>=1 or n>=2 or even something else or nothing at all.

[monochromatic]

The problem is that people aren't willing to pay very much for a patent application, and so the drafter doesn't really have enough time to scrutinize every single word.

It's not at all uncommon to spend 100 times as many lawyer-hours litigating a patent as you spend drafting it.

[monochromatic]

If the usual meaning of "integer" clearly doesn't make sense in this context, then we're already into the territory of coming up with a non-standard definition (unless it's just indefinite at that point). So in that case, why is {1, 2, 3, ...} OBVIOUSLY more sensible than {2, 3, ...}?

[Natsu]

> why is {1, 2, 3, ...} OBVIOUSLY more sensible than {2, 3, ...}?

Because that's the definition the patent holder originally asserted when suing, only to suddenly change their tune when there turned out to be prior art for n=1.

People spend a lot of time making sure that all the words in a patent are exactly so. You'd think they'd have made it a tiny bit clearer on exactly which set of numbers they were including (or not including), as they patent actually says they've patented even negative multiples of a time interval when that's self-evident nonsense.

We can sorta figure out what they probably meant, but that's a really bad idea for essentially the same reason that having a compiler that decides "I really think you meant to put a semicolon there" is a bad idea.

When we all know that a sane compiler should reject all garbage input. If you don't say what you actually mean, nobody actually knows what has been patented any more than we can claim to know the results of undefined behavior in a C program for all possible systems.

And these are comparable situations because they both involve the errors inherent in trying to interpret incorrectly written statements in a formal language.

[kazinator]

> Because that's the definition the patent holder originally asserted when suing, only to suddenly change their tune when there turned out to be prior art for n=1.

That seems not only legitimate, but outright necessary. If the n=1 case corresponds to someone else's patent, but the n>1 cases don't, then the n=1 case must be excluded, right?

> Essentially the same reason that having a compiler that decides "I really think you meant to put a semicolon there" is a bad idea.

Compilers do exactly that sort of thing, so they can continue parsing and hopefully give you more diagnostics. (Correct, useful diagnostics, needless to say.) It's called error recovery and sometimes involves inserting tokens into the parse stream.

Error recovery was hugely important in the era when programmers submitted decks of punched cards to some clerk behind a window. But even today, we are still greedy for shorter edit-compile-run cycles, no matter how short they are. If I made four syntax errors, I'd rather fix them in one go than to invoke the rebuild four times and fix one at a time.

[monochromatic]

> That seems not only legitimate, but outright necessary. If the n=1 case corresponds to someone else's patent, but the n>1 cases don't, then the n=1 case must be excluded, right?

The patentee can amend his claims while a patent application is still pending, but a court isn't going to do it for him post-issuance just because of prior art.

[Natsu]

Yes, but they issue a list of errors that need fixing, rather than a broken binary (assuming your compiler isn't broken, anyhow).

As mentioned below, it's their responsibility to write the patent correctly. Once it has been issued, it's too late to modify it, though they often try this with creative interpretation.

Similar to what was said to Humpty Dumpty, there's a question of whether they can have it mean N=1 and N>1 at the same time.

[kazinator]

But exclude n=1 from the patent just reduces the scope of the claims. The n=1 case turned out to be infringing on something, right?

If a patent has some parameter space, and some values of that space infringe on something, where others do not appear to, then it makes sense to exclude those values.

> They chose that word, but it seems that they don't like the implications of that word.

But, out of context, the word has implications of denoting 0, -1, -2, ... those were present and clear when they initially chose the word.

Anyway, how about that C language, redefining integers to be between INT_MIN and INT_MAX! And what to make of these "unsigned integers". That's a total oxymoron; I mean the C constant 5U is positive. Positive is a sign. So, not unsigned! :)