Better explanation for XOR
"executes" -> "evaluates and returns"
Fix "evalute" typos
"x in [1,2,3]" may evaluate x more than once