Never Full meets Never Empty