+ emptyset **wow**