Implement partial propagation