# maxSlippage of Col to Debt Swap Formula

We know:

$minPostHF = {postTotalColInEth \times LT \over maxPostTotalDebtInEth}$

And

$maxPostTotalDebtInEth = preTotalDebtInEth - minDebtToRepayInEth$

$maxSlippageAmtInEth = expectedDebtToRepayInEth - minDebtToRepayInEth$

So

$maxSlippageAmtInEth = expectedDebtToRepayInEth - (preTotalDebtInEth - maxPostTotalDebtInEth)$

$minPostHF = {postTotalColInEth \times LT \over maxSlippageAmtInEth - expectedDebtToRepayInEth + preTotalDebtInEth}$

$\leftrightarrow$

$maxSlippageAmtInEth = {postTotalColInEth \times LT \over minPostHF} + expectedDebtToRepayInEth - preTotalDebtInEth$

$expectedDebtToRepayInEth - preTotalDebtInEth = ETotalBorrowInEth$

<!-- $maxSlippageAmtInEth = {postTotalColInEth \times LT \over minPostHF} - (preTotalDebtInEth - expectedDebtToRepayInEth)$ -->