explicit-propagation