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. ☑
\@claim()
You can also show that a claim is false when the test fails to pass. ☒