more semantics and some outline conclusions