When I got tired of sculpting molds in react and decided to switch to formal verification