In this project, I created a computational model of insight. Insight problems are problems which are difficult to solve at first but then trivial once you know the trick. I posited that greedy search is what causes us to get stuck on insight problems and that we use reformulation to overcome impasses in search. My system used this approach to solve the Nine Dots insight problem. I presented this work at the 2011 AAAI Symposium on the Advances of Cognitive Systems.