This could also be an enumerate(zip, but I dunno which is clearer.