Switched out semantics with examples. Still need to fix up the continuation example.