Title: Gallagher Group (Research Notes in Theoretical Computer Science)