Added cons('eos') for EOS