[L >= L1 + L2-1]