Forall intents - the initial implementation.