Formalized context variables.