Hi Phil, On 18-Jun-18 20:40, Phil Shafer wrote: > > "!" and "not" are identical. The "!" is just syntactic sugar that > turns "! x " into "not(x)", as you can see in the code: Was it always like this?