Is "correct" always present here, or just for true?