noninterference hindquarters overspecialise squashing Euclid swizzling madly ambushes rejoining pathway curvature