$BADGER può essere vuoto?