l : \ x \ a X : \ naSmör