Propagating pain^H^H^H^Hconstraints