3-Q2 Finis

Hardcoding the empty set matches might be kind of clunky, but it works,
so I ain’t even mad.