I won't get a chance to work on this tomorrow, so I'm committing tonight. Automorphicity is coming along, in baby steps.