a five-finger pinch of mint leaves (preferably black mint), roughly chopped at the last minute