. "I can see the argument for including a do not or removing the \"s,, but it is a little gray given the typical lingo in logic." . . .