"smrt"@cs . . . .