This is a test of schwartz's excellent abbreviation tool (SEAT) on a simple example. ABC is not defined here.