The Emptiness Coin (∅)