1 = {{}} by Lm1;