Summarize small-step semantics