Reduction semantics with evaluation contexts: fixes and examples.