Small progress on bdd appendix