This chapter is a brief introduction to running the semi-automated demos. These demos show how Rigi is used for program understanding.