====== Pattern: Preserve Semantic Consistency ======
FIXME : under construction...