Sentence 1: Philip Lawson is a pseudonym used for mystery novels written by Michael Bishop with Paul Di Filippo .
Sentence 2: Philip Philip Lawson is a pseudonym for mystery novels written by Michael Bishop with Paul Di Filippo .
Question: Do Sentence 1 and Sentence 2 express the same meaning? Yes or No?