So, in an earlier segment, I showed you this little language that has constants, negations, additions, multiplications, Booleans, true and false, a test for whether the result of two expressions are the same number, and an if-then-else. 