Stata Option Requirements Traceability Document