exported Testable/Assertion