Folding knife and pocket knife