a pocket knife is a useful tool