to riffle [ riffled ; riffled ]