A folding pocket knife is a handy tool