Yeah, nevermind. I read it more closely with @nasthagiri and we convinced ourselves that this reasonable.