Oh!  I don't see that invariant in the schema.  It should be enforced at the database level. :)