The difference between total depth and working depth in a gear tooth is