¹⁴Read “setk” as “set kernel value”, the REDUCE equivalent to the Standard LISP assignment function “setq”.