Template:Must be a defining trait/doc