New: andalsoexhausted