Preset BDD
Add examples
Modify
Add examples
Implement