LSeq include a nb_op instead of eval function
Log started, if is not leq condition handled, TODO: isLeq => recovery :s
Log, nearly done, prolly rework on dat, TODO: recovery protocol algorithm