Who Cites decision?
decision	Def Decision == Top+Top
top	Def Top == Void given Void
	Thm* Top Type

Syntax:

Decision

has structure:

decision

About: