Many applications include machine learning algorithms intended to learn “programs” (rules of behavior) from an end user’s actions. When these learned programs are wrong, their users receive little explanation as to why, and even less freedom of expression to help the machine learn from its mistakes. In this paper, we...