The English term "refine" matches the Dutch term "verfijnen"