rest() -> tail().  Not sure why rest() isn't found anymore, but let's use tail() in any case.