almost passing BDD