With the ability to easily link elements of an assurance argument to other artifacts and tools, Socrates can be used to navigate around a warehouse of specifications, analyses, test results, operational procedures and other artifacts, relying on the logical structure of the argument to bind the artifacts together.