Free Context List Depletion Deduction