Introduce miami; both liberty and miami should be stable for an indefinite amount of time now.