started on some semantics