Understand the Mathematics of Small-step Operational Semantics.