Basic semantics laid in