Self-exchange leaves us in a valid but unspecified state