For gingivectomy