"Local context" is an even worse name than "domains".