Towards "Propagation = Logic + Control"