refines

• deduced
• hinder
• Malamud
• Jeffery
• propagating