Summarized Logic