-P6 = P5 + [ 0, outside_pushh - ourcirc_r*2 ];
-P7 = [ P6[0] + (P6[1] - P1[1]) / outside_pushslope,
- P1[1] ];
+P6b = P5 + [ -outside_push_inadj, outside_pushh - ourcirc_r*2 ];
+P7b = [ P6b[0] + (P6b[1] - P1[1]) / outside_pushslope,
+ P1[1] ];
+
+P3b = P3t + [ -outside_push_inadj * (P3t[1]-P4[1]) / (P6b[1]-P5[1]), 0 ];