Forall intents - the initial implementation.

Yes this is fragile. I believe I put in enough assertions to signal us when it breaks so we can update.