Bddfy Examples