. . "if L is a list and X is an element, then the term '.'(X, L) is a list." . . .