add some preliminary notes on semantics