Also, the purchasing power of 17k in 25 years might be closer to today's 5k than today's 17k, so in this lens, also not much lost.