Correctness and Completion Tag Work