experiment: get rid of thetas in Cauchy reals