OK semanticstability