accessing
emptyTruth
	<gtExample>
	| testSfTruth |
	testSfTruth := SfTruth new.
	self assert: testSfTruth isEmpty.
	^ testSfTruth