BDD for Io