he who chops or minces things into pieces; a mincer.