-- violation.txt

The STATE and ZIP attributes result in a violation of 2NF - a person can always determine the STATE given only the ZIP.