Finished correctness, ready to merge