Overview of our visit at Carnegie Mellon