Figure 4: One of tangent and normal surfaces generated by envelop surfaces. The extents of two surfaces are determined by the length of each normal vector existing on a level curve, that is by the separation of two adjacent equal height planes.