"That is, if L is a list, can M be a list with an extra element at" . . . . .