We are interested in building applications that give users concise, local explanations of their behavior. In this document we discuss a language and programming environment for building interactive graphical systems that are backed by a concrete data provenance structure. Using this data, we show that interesting live programming experiences can be built from simple queries.