Started describing the desired semantics