think I got the tests to start failing correctly with refute