We extend the first-order meta-language of Staton et al. with a new language construct, slice-let. This new construct allows a user to define a random variable x, with a potentially intractable distribution, by introducing an auxiliary random variable, u, and … Continue reading →