Template:Must be a defining trait