end if> end proc;>> append := proc( lst1, lst2 )> if">