State-Context Consistency