ignoring one condition in propagation