@seberg What is the upshot here?