a statement that embodies the results of a test
@en
Assertion
@en