A simple demo of BDD