Little bit of progress thinking about planned unification rewrites for twelf today. D's in the evening. Good times as usual.