high-probability inclusion