Forall intents - the initial implementation.

The comment here makes it sound like getting into this block would require extra handling that isn't implemented.  Can you add an assertion that we never end up here?