LSeq done, TODO: recovery part