make a section for Contributed Definitions