No full meeting with Frank today because he is suddenly busy. Updated him on my crazy attempts to prove decidability of VCS reachability. Type systems went okay. A JM trip happened despite the lack of D&D this week. Many bad jokes were made by all.