EstyProof -> MontanaState