NL - NL^{NL - NL}