Write function specifications for display, requireID, sum and add.