Add BDDs.
Address comments.