Can $EOS be empty?