Superstrings are a theory