f x nil g nil x f x g y z g f x y z ++ x nil x ++ x g y z g ++ x y z null nil true null g x y false mem nil y false mem g x y z or = y z mem x z mem x max x not null x max g g nil x y max' x y max g g g x y z u max' max g g x y z u f 2 nil 0 g 2 ++ 2 null 1 true 0 false 0 mem 2 or 2 = 2 max 1 not 1 max' 2 u 0 FULL ./TRS/SK90/4.28.trs