The English term "digest" matches the Dutch term "digereren"