assertion

Parameters

assertion

the text of the fact