. "If the argument is an empty sequence," . . .