is not already present.  If it is, raise an exception, since that should not
happen in a well-defined conversion.