I'd prefer we throw an exception here.  If the condition will "never happen" then nothing amiss.