A user pointed out that the CL manual specifies that (FBOUNDP 'SETQ) must be T (true). And that also symbol-function of a special form should return <something>. Is this a correct reading? There are a few uses of the word "may be" on that page that could be confusing.