pass something
pass all tests, correctness guarantee