All tagged complete correctness