Formal challenge for no badge