Forall intents - the initial implementation.

This probably deserves a header comment.