edge propagation seems ok