Thanks! I removed the part from the footnote, and added " solvable in polynomial time by a deterministic machine."

Still thinking about how best to explain determinism vs. non-determinism but perhaps that's best left for another post. Thanks for pointing those things out :)