Refine propagate partial