semantics done for now