reformulation of semantics done