functional method. problems if only one lift list is nonempty.