V - IMto prove
expr ≥ 0.
LendTxis similar to
OrderTx, and instead of IM, we use the commitment on the Deposit to be locked in the Twilight pool.
TPSare abbreviations for total locked value and total pool share.
ANDis a conjunction constraint
Erroris from the rounding error
exprfor the error is negated.