≠∅
It's almost empty, though.
