append correctness tests - not doing so well :(