to be cut or chopped into very small pieces; to be minced.