progress in reduction semantics after labs