Propagation logic finished