if (date.le(notionalSchedule_.get(index)))
// no doubt about what to return
//return notionals_[index-1];
return notionals_.get(index-1);
else {
if (new Settings().isTodaysPayments())
// We consider today's payment as pending; the bond still
// has the previous notional
return notionals_.get(index-1);
else
// today's payment has occurred; the bond already changed