Who Cites Three?
Three	Def == Unit+Unit+Unit
	Thm* Type

Syntax:

has structure:

Three

About: