We assume that current-law benefits are paid in full
Current-law benefits were assumed to be paid.