Forall intents - the initial implementation.

Any advice to add on how to render this special-purpose code unnecessary?