added semantics notes