the fine-grained result doesn't match itself