"Deux ex machina"@cs .