That&#x27;s basically true. Technically you can meet these requirements by exploiting the false negatives loophole, but if the data structure can <i>ever</i> report that it contains a size M element, it will need O(M) space.