basic evaluation semantics