Let l1 x y