a testable statement, usually one that can be passed or failed
@en
Test Criterion
@en