Summarizing logic complete