Looks like a bijection to me :)