reflective subuniverses are exponential ideals