I want to know the answer to the following question:
By what other name were some Marvel-related comic books published?
All the background I'm provided with is that "As well, some comics' covers, such as All Surprise Comics #12 (Winter 1946–47), were labeled "A Marvel Magazine" many years before Goodman would formally adopt the name in 1961.". Is that enough to answer the question?
Answer: yes