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