changed to specbdd