Almost done with semantics