Correctly Labeled, Now Prove It

Correctly Labeled