From the wiki, "a coin is a number associated with an address."  Fine, but this doesn't answer my question.  What form does the record by which you verify that an individual who has spent a coin no longer owns it take?  Is it simply the latest associated address?