Summarizing logic complete-1