Testing @claim()

The \@claim() verb can be used to make sure a statement in your documents is true, and to link to the test that confirms it.

You can also show that a claim is false when the test fails to pass.