Theory summaries

Theory summaries