Donuts and Doctrine