Definability and interpolation door