Declarative facts in context
More work on context switching