Implement propagation overloading