"Teviot"@cs .