A framework that plays with the interaction of a few core idioms (ValueOf, Logic(Of|To|OfTo), Conditions, and Stores)