high-NA EXE systems