tailored for denial constraint demo