"(pos? l) yields #true, then l is an element of" . . . .