The administration said that it did include the loss of the $18 million annual payment in its calculus, and that the sale proceeds were structured to offset the reduced annual payments from the larger reduction the city would need to make to its pension plan. The administration had proposed legislation to formalize that arrangement for future administrations, but Council has declined to introduce the bill.