How exactly does one ensure the non-emptiness of fizzy?