If we're going to show this it might be good to give a quick explanation of what this is.  (I myself don't know.  Is it a "static context"?)