Thanks to andrew incognito, we now have a list of dfns and thms!!!