Advisor meeting today was, you know, looking at it objectively, educational and useful and informative, but subjectively a little disheartening because what I learned (again) was yes, (higher-order dependent not to mention substructural) coverage checking is really actually kinda hard.