"krev"@cs . . .