Close.

He predicted ice-free arctic summers by 2014. We are not quite there yet -- https://en.wikipedia.org/wiki/Arctic_sea_ice_decline#/media/...

He did not predict that ice caps would be gone by now.

if I read this correctly, the reduce statement here is reducing an always-empty collection.