semantics progressing