more documentation and stuff for BDDs