Change dry/cloudy for unsat/sat. Change th/thv to \theta, \thetav. #433
+127
−127
We went looking everywhere, but couldn’t find those commits.
Sometimes commits can disappear after a force-push. Head back to the latest changes here.