“Restating the problem in a more formal manner is a great technique for gaining insight into a problem.”