The Dutch term "muggezifterij" matches the English term "hair-splitting"