tonight i made brownies and proved a theorem i have been working on for three years.