f a empty g a empty f a cons x k f cons x a k g empty d d g cons x k d g k cons x d f 2 empty 0 g 2 cons 2 FULL ./TRS/LJB01/jones6.trs