Began documentation of semantics