One response is that yes, we have that distinction in datashape.  Discovery doesn't promise to give you exactly the right answer, it promises to give you a reasonable answer.