Text this: Binary decision diagrams :