The "short rules" of propagation necessary...