[Abstract 004] punch tool