As I mentioned in the group meeting last Thursday, to better communicate what I have been doing with the modeling of one subsystem of the mechanical logic, I am writing up and summarizing my progress up until now. I included some pics from my writeup, but the full pdf will soon be on my personal page. A blog post about the simplification of the bimodal ROM will follow soon, hopefully by the start of next week!