can you leave one using the implicit bijection so we can see that is working?