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