Thankfully none of it occurred while jamming a bit with bmills and some of his friends — that actually went pretty well. I credit reasonable overlap of the music and musical styles that we were familiar with. When someone else sees G G7 C A7 and says "hmm I think that A7 rather wants to be a C#dim" it warms my heart, it does.
Before that I found the right way to express one case deep in the current theorem. I am quite heavily invested in this approach now, since so many things are going so nicely. I hope it doesn't break at the last minute.