Palabra clave: witness elimination