for cutting out or grooving the area to be repaired