p :-
    l1,
    l2.