bdds, sdds, and vtrees - we've got none two of them
the classic!
new and improved!
losing the vforest in the vtrees