must-be-true ( ? -- )


Vocabulary
backtrack

Inputs
?an object


Outputs
None

Definition