Done with HPP propagation
update