Can $EPT be empty?