l_i can be zero so O(1+\sum l_i m_i) \neq O(\sum l_i m_i)