Domain Propagation Done