Define Type Certificate