BDD flow examples