Forall intents - the initial implementation.

More explanation needed here.  What does it mean when true?