GOD... this cheese sandwich I am eating is AMAZING. Back to the task at hand... convincing twelf that my proof is correct.
Actually made some progress on that today. Nearly finished one of the three major lemmas I need, though granted it is the easiest of the three, and made some headway on the hardest.