clean up conclusion and expand on correctness