May I ask if you have a way to reason about priors on transformed quantities like these, when the constrained variable cannot often respect the prior due to truncation (it totally makes sense to me in the cases where it can, like a log transform for positive priors)