tightenings
not defined yet