Summarize 06-axiomatic-semantics.pdf