Semantic consistency