Add TODO note about bijection extraction