(COND ( (AND (EQ (CAR L1) (CAR L2)) (EQ (CADR L1) (CADR L2))) T ) ( T NIL ) )