A preprint proves two Gaussian coding conjectures and finds higher exact-synthesis rates than total-variation synthesis for positive correlation.