Yeah, I think you're definitely right that it's not-obvious!  f663811