Ben Lerner

Well, `e` isn't defined, and we haven't started thinking about how this should interact with the global namespace: `e` doesn't _usually_ mean the base of natural logarithms, in many portals,...

I'm not sure it goes without saying -- what kind of error message do you want here? Do you somehow want to detect that both the "function" and "operand" could...

Right, but this is such a tiny sliver of "algebraic expressions" -- `6a`, `(3 + 4)x`, `mx + b` etc. wouldn't be covered by your predicate: the first two cause...

It would be easy to add a sentence, "Testing statements are typically of the form _actual_ `is` _expected_", except of course that this statement is somewhat inaccurate/misleading since there are...

Is this wording acceptable? 

easy enough to write "answer connected by a testing keyword, usually `is`"

As Shriram said above, "For those who do, they'll know that the "usually" is saying "but there can be other possibilities"." I think your wording here is going to be...

Your point is well taken, but that's still not enough -- a test can have a because clause, a refinement predicate, ... the grammar is quite rich :) For someone...

Indeed. We have a _lot_ of string messages still floating around in our code, and I'm torn: on the one hand we want all our error messages to be artisanally...

Is this still as urgent, given the new load-lib lets us just `getModuleResultChecks` as a value?