The difficulty of preparing good demonstrations (Recall the presentation of the LCA programs at the Feria de Puebla) motivated the incorporation of a REC compiler in the programs, with its menu of operations. In turn this permitted a reorganization of the scheme for incorporating sample rules in the programs, and the provision for reading collections of prepared rules from disk.