Split descriptions and state.
Add post proofs with alternate state.