Almost done with semantics.