Ott semantics.