Existential: make mutation look like the exception

Translated from original commit by Carlos Cunha