extension problem