Convert `exorcise` to Cadence.