Forall intents - the initial implementation.

"must"?