Before revision:  The main results of this work are providing sufficient conditions for existence and uniqueness of the clearing solutions (i.e., liquidations, borrowing, fire sale prices, and haircut levels)  .
After revision:  The main results of this work are providing sufficient conditions for existence and uniqueness of the clearing solutions (i.e., liquidations, borrowing, fire sale prices, and haircut levels) as well as sufficient conditions for uniqueness of the clearing solutions .