pass all correctness tests