perhaps we use `zip` here?