@pervognsen i would say that the BDD is a subcategory of the more general binary state machine class that i drew an instance of; which is a natural consequence of aggregating all key/value pairs into one structure, then only following the key bits - we naturally land at the value bits; for a BDD, that's either 0 or 1. for a hashmap, that's anything.