Who Cites bor?
bor	Def p q == if p true else q fi
	Thm* p,q:. (p q)

Syntax:

p q

has structure:

bor(p; q)

About: