@ksaj @screwtape Or, in other words, under your proposal, (defun foo (x)) would not be legal Lisp, because the integer 10 cannot name a variable.