roots {} = {} by Lm1;