Higher order demand propagation