Started on the two semantics.