Hot: secondexponential