Title: Topics in internal analysis