"Mamet"@cs .