. "Propagation completeness" . "Propagation completeness" . .