A grant payable over 2 years to support mathematics research of Professors Thomas Hales and Brent Doiron, $100,000.