Existential tricks to avoid using `defaultExecution'.