I know some implementations don't have the "feature" that the variable IGNORE implicitly declared IGNORE by the compiler. My question is, can I do: (PROCLAIM '(IGNORE IGNORE IGNORED IGNORABLE DONT-CARE HUNOZ ...)) to teach those implementations? My reading of CLtL (p160) is that I should be able to. Does anyone disagree?