I have been assuming that NoResult is equivalent to the empty set. Is that correct?