Who Cites PTrue?
PTrue	Def PTrue(tr) == True
	Thm* E:Structure. PTrue TraceProperty(E)

Syntax:

PTrue

has structure:

PTrue(E)

About: