"EXAMPLE"@cs .