Some of them left. Some of them moved to different teams. We just never replaced them on the team.

So more accurately, we placed developers who left the team with humans using more tokens.