Taginterproximal reduction