Three

Def == Unit+Unit+Unit Thm* Type

About: