"Veritas"@cs .