$${E′ \lt E}$$