A formal framework for combining natural instruction and demonstration for end-user programming.