should this be -Int 1? If so, this code doesn't seem to work right now. Why isn't it failing some kind of test?