. . . "EOS"@cs .