Extensional_context loading ...