An exit is a precondition of freedom.