refine
pretty code for anatomy of bdd