Existential: make mutation look like the exception