[README] Semantics.