completed state.
Add union and toString.