reduction semantics attempt