SATRE Specification Requirement ()