No need to beat around the bush wrt ∅