Badges OK + lecture via bdd