#. (Read Time Form Evaluation) CASE forms are faster than COND forms See Demonstration But, CASE forms do not evaluate their keys Symbolic keys are easier to code and to maintain #. can be used to force read-time evaluation of keys ACL2 does not support #.