.... We argue that the shape synthesis of mechanical parts is more efficient and less error prone if it is based on techniques that identify the functional surfaces of the part without imposing arbitrary restrictions on its geometry. We demonstrate that such techniques can be formally defined for parts...