Gray categories

Dominic will explain some of the definition of a Gray category, and that tricategories can be strictified to Gray categories.