Summarize 07-axiomatic-semantics-II.pdf