[noname120]

This is exactly correct. The point about the formulas was meant as an illustrative example about the fact that the patent might well apply rather than an argumentative one.

[greglindahl]

It's a good choice of example... of why it might be invalid due to Alice.