10 l1 ) 2 *)