Looking at new pure semantics.