add some minor notes on semantics