initial reduction semantics