Progress on instruction semantics.