Summaries of logic