Simple BDD Framework