to trickle [ trickled ; trickled ]