Propagation order seems correct...