Forall intents - the initial implementation.

Typo: 1 --> 2.