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